大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

IWNMS 2004 [electronic resource] : Proceedings of the International Workshop on Nanomaterials, Magnetic Ions and Magnetic Semiconductors Studied Mostly by Hyperfine Interactions (IWNMS 2004) held in Baroda, India, 10鈥ᴠFebruary 2004

0
索取号：
作者：Somayajulu、 D. R. S.、Lieb、 K. -P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Adaptive Optics for Industry and Medicine [electronic resource] : Proceedings of the 4th International Workshop M眉nster, Germany, Oct. 19鈥⴬ 2003

0
索取号：
作者：Wittrock、 Ulrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

0
索取号：
作者：Gschwind、 Thomas.、A脽mann、 Uwe.、Nierstrasz、 Oscar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures [electronic resource] : 6th Thematic Workshop of the EU Network of Excellence DELOS, Cagliari, Italy, June 24-25, 2004. Revised Selected Papers

0
索取号：
作者：T眉rker、 Can.、Agosti、 Maristella.、Schek、 Hans-J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Power-Aware Computer Systems [electronic resource] : Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

0
索取号：
作者：Falsafi、 Babak.、VijayKumar、 T. N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

High Performance Computing in Science and Engineering, Garching 2004 [electronic resource] : Transactions of the KONWIHR Result Workshop, October 14鈥ᵬ 2004, Technical University of Munich, Garching, Germany

0
索取号：
作者：Bode、 Arndt.、Durst、 Franz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

QCD and Numerical Analysis III [electronic resource] : Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003

0
索取号：
作者：Borĩi、 Artan.、Frommer、 Andreas.、Jo贸、 B谩lint.、Kennedy、 Anthony.、Pendleton、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Classification - the Ubiquitous Challenge [electronic resource] : Proceedings of the 28th Annual Conference of the Gesellschaft f眉r Klassifikation e.V. University of Dortmund, March 9鈥ᱬ 2004

0
索取号：
作者：Weihs、 Claus.、Gaul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Dimension Reduction of Large-Scale Systems [electronic resource] : Proceedings of a Workshop held in Oberwolfach, Germany, October 19鈥⵬ 2003

0
索取号：
作者：Benner、 Peter.、Sorensen、 Danny C.、Mehrmann、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

0
索取号：
作者：Trinder、 Phil.、Michaelson、 Greg J.、Pe帽a、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

New Developments in Classification and Data Analysis [electronic resource] : Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Bologna, September 22鈥⴬ 2003

0
索取号：
作者：Bock、 H.-H.、Gaul、 W.、Vichi、 M.、Arabie、 Ph.、Baier、 D.、Critchley、 F.、Decker、 R.、Diday、 E.、Greenacre、 M.、Lauro、 C.、Meulman、 J.、Monari、 P.、Nishisato、 S.、Ohsumi、 N.、Opitz、 O.、Ritter、 G.、Schader、 M.、Weihs、 C.、Vichi、 Maurizio.、Monari、 Paola.、Mignani、 Stefania.、Montanari、 Angela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Methods for Algebraic Spline Surfaces [electronic resource] : ESF Exploratory Workshop

0
索取号：
作者：Dokken、 Tor.、J眉ttler、 Bert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Adaptive Mesh Refinement - Theory and Applications [electronic resource] : Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3鈥嬠2003

0
索取号：
作者：Plewa、 Tomasz.、Linde、 Timur.、Gregory Weirs、 V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Innovations in Classification, Data Science, and Information Systems [electronic resource] : Proceedings of the 27th Annual Conference of the Gesellschaft f眉r Klassifikation e.V., Brandenburg University of Technology, Cottbus, March 12鈥ᴬ 2003

0
索取号：
作者：Baier、 Daniel.、Wernecke、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Generalized Bounds for Convex Multistage Stochastic Programs [electronic resource]

0
索取号：
作者：Kuhn、 Daniel.、Beckmann、 M.、K眉nzi、 H. P.、Fandel、 G.、Trockel、 W.、Basile、 A.、Drexl、 A.、Dawid、 H.、Inderfurth、 K.、K眉rsten、 W.、Schittko、 U.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

High Performance Computing in Science and Engineering, Munich 2004 [electronic resource] : Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2鈥㬠2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany

0
索取号：
作者：Wagner、 Siegfried.、Hanke、 Werner.、Bode、 Arndt.、Durst、 Franz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院